From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Date: Tue, 20 Dec 2016 04:10:36 +0000 (+0000)
Subject: Merge gringo (5.1.0-4) import into refs/heads/workingbranch
X-Git-Tag: archive/raspbian/5.3.0-13+rpi1~1^2^2
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/%22mailto:mocancezar%40gmail.com//%22mailto:i18n-csb%40linuxcsb.org/%22/%22http:/www.example.com/%22mailto:mocancezar%40gmail.com/%22mailto:i18n-csb%40linuxcsb.org/%22?a=commitdiff_plain;h=9203dc2b3f98ee63098f53e2c8706839afd11a68;p=gringo.git

Merge gringo (5.1.0-4) import into refs/heads/workingbranch
---

9203dc2b3f98ee63098f53e2c8706839afd11a68